Observing the Truth: Diagrams, Sets and Free Rides
نویسنده
چکیده
There are many different notations that can define relationships between sets, some of which are diagrammatic and others symbolic. Even when a notation is selected, there are choices to be made between semantically equivalent, yet syntactically different, statements. Syntactic choices include variations in both abstract syntax and concrete syntax where graphical and topological properties can differ. Whilst it is clearly important to understand the relative benefits of choices in all senses, the focus here is on the choice of notation and, within that, abstract syntax choices.
منابع مشابه
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides
In the literature on diagrammatic reasoning, Venn diagrams are abstractly formalized in terms of minimal regions. In view of the cognitive process to recognize Venn diagrams, we modify slightly the formalization by distinguishing conjunctive, negative, and disjunctive regions among possible regions in Venn diagrams. Then we study a logic translation of the Venn diagrammatic system with the aim ...
متن کاملEffective Representation of Information: Generalizing Free Rides
In order to effectively communicate information, the choice of representation is important. Ideally, a representation will aid readers in making desired inferences. In this poster, we introduce the theory of observation: what it means for one statement to be observable from another. Using observability, we sketch a characterization of the observational advantages of one representation over anot...
متن کاملInterval Valued QL-Implications
The aim of this work is to analyze the interval canonical representation for fuzzy QL-implications and automorphisms. Intervals have been used to model the uncertainty of a specialist’s information related to truth values in the fuzzy propositional calculus: the basic systems are based on interval fuzzy connectives. Thus, using subsets of the real unit interval as the standard sets of truth deg...
متن کاملSurrogate reasoning
Surrogate reasoning is reasoning whose task is partially taken over by operations on external aids, such as sentences, diagrams, physical models, mathematical models, and computers. Drawing on the basic concepts in situation theory, we present a semi-formal model of surrogate reasoning. We claim that the relative advantages and disadvantages of different forms of surrogate reasoning can be expl...
متن کاملL-valued Fuzzy Rough Sets
In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016